how to prove surjective